Books by author Antonio Cerone

Showing 1 – 14 out of 14 results

1. 

   Formal Methods. FM 2019 International Workshops

   José Campos, Antonio Cerone, Luis Couto, David Delmas, Brijesh Dongol, Marie Farrell, Laure Gonnord, Riccardo Guidotti, Martin Kutrib, Matt Luckcuck, Diego Marmsoler, Pedro Monteiro, Nelma Moreira, Jo | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Formal Methods. FM 2019 International Workshops

   José Campos, Antonio Cerone, Luis Couto, David Delmas, Brijesh Dongol, Marie Farrell, Laure Gonnord, Riccardo Guidotti, Martin Kutrib, Matt Luckcuck, Diego Marmsoler, Pedro Monteiro, Nelma Moreira, Jo | Springer Nature Switzerland AG, 2020

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Formal Methods - Fun for Everybody

   Antonio Cerone | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

   Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.61 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Theoretical Aspects of Computing -- ICTAC 2011

   Antonio Cerone, Pekka Pihlajasaari | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   70.80 €

   Buy
6. 

   Software Engineering and Formal Methods

   Antonio Cerone, Carla Ferreira, Tim Willemse | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   66.96 €

   Sale 7 %

   You save 5.59 €

   Buy
7. 

   Formal Methods for an Informal World

   Antonio Cerone | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.50 €

   Sale 9 %

   You save 5.39 €

   Buy
8. 

   Formal Methods for Software Engineering

   Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   37.57 €

   Sale 0 %

   You save 0.03 €

   Buy
9. 

   Theoretical Aspects of Computing - ICTAC 2021

   Antonio Cerone | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   77.16 €

   Sale 7 %

   You save 6.49 €

   Buy
10. 

    Software Engineering and Formal Methods

    Antonio Cerone, Marco Roveri | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    76.15 €

    Sale 7 %

    You save 6.39 €

    Buy
11. 

    From Data to Models and Back

    Giovanna Broccia, Antonio Cerone | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    123.32 €

    Sale 7 %

    You save 10.31 €

    Buy
12. 

    Formal Methods for Software Engineering

    Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh | Springer Nature Switzerland AG, 2022

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Hardback

    47.87 €

    Sale 0 %

    You save 0.01 €

    Buy
13. 

    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture | Springer, Berlin, 2022

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.61 €

    Sale 7 %

    You save 4.27 €

    Buy
14. 

    Theoretical Aspects of Computing - ICTAC 2006

    Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.61 €

    Sale 7 %

    You save 4.27 €

    Buy

Books are sent immediately or as soon as possible. Find out more